1. .....................
پدیدآورنده : Chang, Chin-liang
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C483
2. A paraconsistent decision-making method /
پدیدآورنده : Fábio Romeu de Carvalho, Jair Minoro Abe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.
رده :
Q342
3. A theory of heuristic information in game-tree search
پدیدآورنده : Tzeng, Chun-Hung
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical
رده :
Q
335
.
T99
1988
4. A theory of heuristic information in game-tree search
پدیدآورنده : TZENG,CHUN-HUNG
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ARTIFICIAL INTELLIGENCE , GAME THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
Q
335
.
T99
5. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
6. Abduction in Context
پدیدآورنده : by Woosuk Park,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Philosophy,Epistemology,Logic,Artificial intelligence,Cognitive psychology,Philosophy,Epistemology,Cognitive Psychology,Logic,Artificial Intelligence )incl. Robotics(
رده :
EBOOK
,
HV
A33
6626
.
2
7. Abductive inference models for diagnostic problem-solving
پدیدآورنده : Peng, Yun
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Problem solving,، Artificial intelligence,، Abduction )Logic(,، Reasoning
رده :
Q
335
.
P414
1990
8. Abductive reasoning :logical investigations into discovery and explanation
پدیدآورنده : Aliseda, Atocha.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Abduction )Logic(,، Reasoning,، Artificial intelligence
رده :
BC199
.
A26
A45
2006
9. Advances in knowledge Representation, Logic programming, and Abstract Argumentation
پدیدآورنده : \ [edited by] Thomas Eiter...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Artificial intelligence,Logic programming.,هوش مصنوعی,برنامه‌نویسی منطقی.,a03,a04,a03,a04
رده :
TJ
211
.
A3
2015
E-Book
,
10. Advances in logic, artificial intelligence, and robotics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Artificial intelligence ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Robotics ; Congresses. ;
11. Advances in logic, artificial intelligence, and robotics :
پدیدآورنده : edited by Jair Minoro Abe and João Inácio da Silva Filho.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Robotics, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Inteligência artificial (congressos),Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Lógica simbólica (congressos),Robótica (congressos),Robotics.,Robotics.
رده :
Q334
.
C69
2002eb
12. #Advances in logic, artificial intelligence, and robotics
پدیدآورنده : #edited by Jair Minoro Abe and Joao Inacio da Silva Filho
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Artificial intelligence- Congresses ،Logic, Symbolic and mathematical- Congresses ،Robotics- Congresses
رده :
#
Q
،#.
C69
،#
2002
13. Advances in logic, artificial intelligence and robotics: LAPTEC 2002
پدیدآورنده : edited by Jair Minoro Abe and Joao Inacio da Silva Filho
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Artificial intelligence -- Congresses,، Logic, symbolic and mathematical - Congresses,، Robotics -- Congresses
رده :
Q
334
.
A39
14. Advances in logic based intelligent systems
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Artificial intelligence Congresses,Logic, Symbolic and mathematical Congresses
رده :
Q
،
334
،.
C69
،
2005
15. Advances in logic based intelligent systems :
پدیدآورنده : edited by Kazumi Nakamatsu and Jair Minoro Abe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.
رده :
Q334
.
C69
2005
16. Advances in technological applications of logical and intelligent systems :
پدیدآورنده : edited by Germano Lambert-Torres ... [et al.]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses
17. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده : by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
18. Algebraic and Logic Programming :
پدیدآورنده : edited by Michael Hanus, Mario Rodríguez-Artalejo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic design.
19. <An> Introduction to Default Logic
پدیدآورنده : Philippe Besnard
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Artificial Intelligence,Logic programming,Logic
رده :
Q
،
335
،.
B49
،
1989
20. An introduction to default logic
پدیدآورنده : Besnard, Philippe
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Artificial intelligence,، Logic programming,، Logic
رده :
Q
335
.
B49
1989
